301. Logic : a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Mathematics,، Computer science,، Logic, Symbolic and mathematical
رده :
BC
71
.
L62
2012
302. Logic: a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
رده :
QA
9
.
M86
2012
303. Logic : a brief course
پدیدآورنده : Mundici, Daniele, 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science
رده :
QA
9
.
M86L613
304. Logic : a foundation for computer science
پدیدآورنده : Sperschneider, V.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
S64
305. Logic : a foundation for computer science
پدیدآورنده : Sperschneider, V.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
S6787
1991
306. Logic and Algebraic Methods
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and Mathematical. ; Computer Science. ;
307. Logic and Grammar :
پدیدآورنده : edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
P98
.
E358
2011
308. Logic and Grammar :
پدیدآورنده : edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
309. Logic and Its Applications
پدیدآورنده : \ Mohua Banerjee, Shankara Narayanan Krishna (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگره‌ها
رده :
QA
9
.
L6
2015
E-Book
,
310. Logic and algebra of specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35N37
1991
311. Logic and automata
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
312. Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Computational complexity-- Congresses
رده :
QA
9
.
A1
.
L625
1995
313. Logic and computer science
پدیدآورنده : Edited by Piergiorgio Odifreddi
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
9
.
L6
1990
314. Logic and computer science
پدیدآورنده : edited by Piergiorgio Odifreddi
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Computer science
رده :
QA
9
.
L5
1990
315. Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده : S. Homer ... ]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
Vol
.
1429
316. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده : S. Homer...]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
no
.
1429
317. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
رده :
QA
3
.
L28
no
.
1429
318. Logic and discrete mathematics :
پدیدآورنده : Willem Conradie, Valentin Goranko.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Textbooks.,Logic, Symbolic and mathematical, Textbooks.
319. Logic and its applications
پدیدآورنده : Burke, Edmund
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic programming , Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
B87
1996
320. Logic and its applications :
پدیدآورنده : Md. Aquil Khan, Amaldev Manuel (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses.,Logic, Symbolic and mathematical.
رده :
QA9
.
A1
I24
2019eb
